1. Elements de logique mathematique; theorie des modeles
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K77
2. Elements de logique mathematique)Theorie des models(
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
K7
3. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
4. Gödel remembered :
پدیدآورنده : R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
5. Modelltheorie : eine Einfuhrung in die mathematische Logik und Grundlagentheorie
پدیدآورنده : Kreisel, Georg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
K7715
1972
